﻿<html>
  <head>
  <title></title>
    <script type="text/javascript">
        function number_pages() {
            var vars = {};
            var x = document.location.search.substring(1).split('&');
            for (var i in x) { var z = x[i].split('=', 2); vars[z[0]] = unescape(z[1]); }
            var x = ['frompage', 'topage', 'page', 'webpage', 'section', 'subsection', 'subsubsection'];
            for (var i in x) {
                var y = document.getElementsByClassName(x[i]);
                for (var j = 0; j < y.length; ++j) y[j].textContent = vars[x[i]];
            }
        }
    </script>
  </head>
  <body onload="number_pages()">
    <div style="text-align:center;font-size:0.8em;">Page <span class="page"></span> of <span class="topage"></span></div>
  </body>
</html>